翻訳と辞書 Words near each other ・ Catedral de San Felipe Apóstol (Arecibo, Puerto Rico) ・ Catedral de Santa Clara de Asís ・ Catedral De Santa María Y San Julián De Cuenca ・ Catedral de São Luís ・ Catedral del Espíritu Santo ・ Catedral District ・ Catedral Evangelica Reformada ・ Catedral Metropolitana ・ Catedral Metropolitana Ortodoxa ・ Catedral Nuestra Señora de La Asunción ・ Catedral Santiago Apóstol (Fajardo, Puerto Rico) ・ Cateel, Davao Oriental ・ Categoriae decem ・ Categorial grammar ・ Categorical ・ Categorical abstract machine ・ Categorical algebra ・ Categorical distribution ・ Categorical grant ・ Categorical imperative ・ Categorical logic ・ Categorical perception ・ Categorical proposition ・ Categorical quantum mechanics ・ Categorical quotient ・ Categorical ring ・ Categorical set theory ・ Categorical variable ・ Categories (Aristotle) ・ Categories (Peirce) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Categorical abstract machine ： ウィキペディア英語版 Categorical abstract machine The categorical abstract machine (CAM) is a model of computation for programs〔''Cousineau G., Curien P.-L., Mauny M.'' The categorical abstract machine. — LNCS, 201, Functional programming languages computer architecture.-- 1985, pp.~50-64.〕 that preserves the abilities of applicative, functional, or compositional style. It is based on the techniques of applicative computing. == Overview == The notion of the categorical abstract machine arose in the mid-1980s. It took its place in computer science as a kind of theory of computation for programmers, represented by Cartesian closed category and embedded into the combinatory logic. CAM is a transparent and sound mathematical representation for the languages of functional programming. The machine code can be optimized using the equational form of a theory of computation. Using CAM, the various mechanisms of computation such as recursion or lazy evaluation can be emulated as well as parameter passing, such as call by name, call by value, and so on. In theory, CAM preserves all the advantages of object approach towards programming or computing. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Categorical abstract machine」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.